1.

کتابخانه: Library of Islamic Parliament (Tehran)

2. A Course on Mathematical Logi

پدیدآورنده :

کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

موضوع : Mathematics,Computer science,Algebra,Logic, Symbolic and mathematical,Electronic books

رده :
E-BOOK

3. BL

پدیدآورنده :

کتابخانه: Library of Islamic Parliament (Tehran)

4. Cut elimination in categories /

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Categories (Mathematics),Elimination,Proof theory

5. Handbook of Logic and Proof Techniques for Computer Science

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer science.,Logic design.,Mathematics.

رده :
QA76
.
B978
2002